An On-line Problem Database

نویسندگان

  • Nachum Dershowitz
  • Ralf Treinen
چکیده

The RTA list of open problems was created in 1991 by Jean-Pierre Jouannaud, Jan Willem Klop, and the rst author [19] on the occasion of the Fourth International Conference on Rewriting Techniques and Applications (RTA). Updated lists have since been published at RTA '93 [20] and RTA '95 [21]. Bending to these electronic times, we have recently placed a combined list on the world-wide web at http://www.lri.fr/ rtaloop

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Bi-Objective Approach to an Assembly Line Re-Balancing Problem: Model and Differential Evolution Algorithms

Assembly lines are special kinds of production systems which are of great importance in the industrial production of high quantity commodities. In many practical manufacturing systems, configuration of assembly lines is fixed and designing a new line may be incurred huge amount of costs and thereby it is not desirable for practitioners. When some changes related to market demand occur, it is wo...

متن کامل

Solvability of an impulsive boundary value problem on the half-line via critical point theory

In this paper, an impulsive boundary value problem on the half-line is considered and existence of solutions is proved using Minimization Principal and Mountain Pass Theorem.

متن کامل

An Analytical Approach for Single and Mixed-Model Assembly Line Rebalancing and Worker Assignment Problem

In this paper, an analytical approach is used for assembly line rebalancing and worker assignment for single and mixed-model assembly lines based on a heuristic-simulation algorithm. This approach helps to managers to select a better marketing strategy when different combinations of demands are suitable.Furthermore, they can use it as a guideline to know which worker assignment is better for ea...

متن کامل

Sequencing Mixed Model Assembly Line Problem to Minimize Line Stoppages Cost by a Modified Simulated Annealing Algorithm Based on Cloud Theory

This research presents a new application of the cloud theory-based simulated annealing algorithm to solve mixed model assembly line sequencing problems where line stoppage cost is expected to be optimized. This objective is highly significant in mixed model assembly line sequencing problems based on just-in-time production system. Moreover, this type of problem is NP-hard and solving this probl...

متن کامل

Role of crocin in several cancer cell lines: An updated review

Cancer is a major public health problem worldwide. The most important considerable features of cancer cells are uncontrolled proliferation, up-regulated differentiation, and immortality. Crocin, as a bioactive compound of saffron and as a water-soluble carotenoid has radical scavenging, anti-hyperlipidemia, memory improving, and inhibition of tumor growth effects. The present review was designe...

متن کامل

Solving a multi-objective mixed-model assembly line balancing and sequencing problem

This research addresses the mixed-model assembly line (MMAL) by considering various constraints. In MMALs, several types of products which their similarity is so high are made on an assembly line. As a consequence, it is possible to assemble and make several types of products simultaneously without spending any additional time. The proposed multi-objective model considers the balancing and sequ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998